COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	becaus[w82,jmc]		The ultimate "because"
C00006 ENDMK
C⊗;
becaus[w82,jmc]		The ultimate "because"
boyer[w82,jmc]		Letter to Bachman recommending Boyer and Moore for
			Turing award
comput[w82,jmc]		Computers and the future
consti[w82,jmc]		A new constitution for the U.S.
copy.lsp[w82,jmc]	speed tests for copy
cs204[w82,jmc]		problems for teaching cs204 some time
cs258[w82,jmc]		topics for cs258 for winter 1982
defaul[w82,jmc]		General theories of defaults - non-monotonic
dirty[w82,jmc]		A clean EVAL for dirty lisp
elsalv[w82,jmc]		A plan for saving El Salvador
energy.let[w82,jmc]	letter to candidates advising caution
flat.pr[w82,jmc]		flat in prolog
geabst[w82,jmc]		Abstract for talk at GE
getalk[w82,jmc]		Notes for talk at GE
ideas[w82,jmc]		string search
life.lsp[w82,jmc]	lisp program for competitive life
lispax.lsp[w82,jmc]	ekl axioms for lisp
flat.lsp[w82,jmc]	ekl axioms and proofs about flat
histor[w82,jmc]		personal history
hyperc[w82,jmc]		Hyperconsistency; we sometimes need more than consistency
lispax.prf[w82,jmc]	for initializing ekl with lisp axioms
long[w82,jmc]		the long range future
macro.lsp[w82,jmc]	ekl programs for doing induction
manna.lsp[w82,jmc]	ekl formalization of manna method
match.lsp[w82,jmc]	ekl axioms and proof about match and sublis
musts[w82,jmc]		Things that must be done before I leave
misc.ekl[w82,jmc]	miscellaneous ekl proof statements about lisp
nonmon[w82,jmc]		The two kinds of non-monotonic reasoning
object[w82,jmc]		Objects, quantities and flavors
orci[w82,jmc]		Comments on "Contributions to Automatic Programming Theory"
			by Istvan Orci, early draft
prolog[w82,jmc]		announcement of prolog and logic programming course
prolog.not[w82,jmc]	Notes on control in logic programming
report.lll[w82,jmc]	Final report for LLL contract on S-1
renew.82[w82,jmc]	1982 nsf renewal proposal
revers.lsp[w82,jmc]	Axioms and proofs involving reverse
smith[w82,jmc]			Comments on thesis proposal of David E. Smith
starr[w82,jmc]		for politicians
state[w82,jmc]		co-operating with the State Department
tour[w82,jmc]		A new kind of Moscow tour